CASSIS - 2011 - Annual activity report

CASSIS

Project-Team Cassis

Overall Objectives

Scientific Foundations

Application Domains

Software

New Results

Contracts and Grants with Industry

Partnerships and Cooperations

Dissemination

Bibliography

Section: Partnerships and Cooperations

In the area of automated test generation from a formal model, we have an active collaboration with Dr Mark Utting from the Formal Method group from the University of Waikato (http://www.cs.waikato.ac.nz/Research/fm/index.html ). This cooperation is supported by the France-New-Zealand scientific program.
In the area of business applications, we have been working on the may-/must semantics of coloured work-flow Petri nets with the Information System group of Professor W. van der Aalst from the Technical University of Eindhoven, The Netherlands.
In the area of security protocols penetration testing, we have started a collaboration with Karlsruhe Institute of Technology (Germany) led by Prof. Alexander Pretschner. This collaboration is mainly supported by KIT, in the context of the FP7 SPACIOS project.